#include <stdio.h>

void tsh_putchar(char ch)
{
    putchar(ch);
}

char tsh_getchar()
{
    return getchar();
}
